-
1 схема индукции
-
2 схема индукции
-
3 схема индукции
-
4 период индукции
-
5 рассуждение по индукции
-
6 схема индукции
-
7 индукция
-
8 рассуждение по индукции
Русско-английский военно-политический словарь > рассуждение по индукции
-
9 схема индукции
Русско-английский военно-политический словарь > схема индукции
-
10 схема индукции
induction scheme лог.Русско-английский словарь по вычислительной технике и программированию > схема индукции
-
11 схема индукции
induction scheme мат.Русско-английский научно-технический словарь Масловского > схема индукции
-
12 индукция
ж. induction -
13 внутренняя индукция
Русско-английский большой базовый словарь > внутренняя индукция
-
14 вывод правил методом индукции
Русско-английский большой базовый словарь > вывод правил методом индукции
-
15 математическая индукция
Русско-английский большой базовый словарь > математическая индукция
-
16 собственная индукция
Русско-английский большой базовый словарь > собственная индукция
-
17 содержательная индукция
Русско-английский большой базовый словарь > содержательная индукция
-
18 гетерогенетическая индукция
Русско-английский научный словарь > гетерогенетическая индукция
-
19 гомогенетическая индукция
Русско-английский научный словарь > гомогенетическая индукция
-
20 закон электромагнитной индукции
Русско-английский научный словарь > закон электромагнитной индукции
См. также в других словарях:
Asymmetric induction — (also enantioinduction) in stereochemistry describes the preferential formation in a chemical reaction of one enantiomer or diastereoisomer over the other as a result of the influence of a chiral feature present in the substrate, reagent,… … Wikipedia
Drakensberg Pumped Storage Scheme — Diagram of the dams involved in the Drakensberg Pumped Storage Scheme and Tugela Vaal Water Project Country South Africa Location … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
Nqthm — is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2.[1] Contents 1 History 2 Definitions 3 Theorem formulation … Wikipedia
Inductive reasoning — Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not entail it; i.e. they do not ensure its truth. Induction is a… … Wikipedia
Scientific method — … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Metal detector — A U.S. Army soldier uses a metal detector to search for weapons and ammunition in Iraq A metal detector is a device which responds to metal that may not be readily apparent. The simplest form of a metal detector consists of an oscillator… … Wikipedia
Peirce, Charles Sanders — American pragmatism Peirce Cheryl Misak INTRODUCTION Charles Sanders Peirce (1839–1914), one of America’s greatest philosophers, mathematicians, and logicians, was a difficult and not altogether pleasant character. That, combined with what the… … History of philosophy
Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… … Wikipedia
Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… … Wikipedia